Synthesis of Reactive Systems
نویسنده
چکیده
More than fifty years after its introduction by Alonzo Church, the synthesis problem is still one of the most intriguing challenges in the theory of reactive systems. On the one hand, synthesis algorithms have found applications in many areas of systems engineering, from the construction and optimization of circuits and device drivers to the synthesis of controllers for robots and manufacturing plants. On the other hand, the logical and algorithmic foundations of the synthesis problem are still far from complete.
منابع مشابه
Conceptual Design of n-Butyl Acetate Synthesis Process by Reactive Distillation Using Residue Curve Maps
Residue curve maps are a powerful tool for the preliminary design of Reactive Distillation (RD). In this study, residue curve maps of the n-butyl acetate synthesis reaction were calculated based on the Langmuir–Hinshelwood–Hougen–Watson kinetic and UNIQUAC models to calculate the physical properties of the system. The results showed that the unstable node branch emerged from the n-butyl ace...
متن کاملSimulated Heat Integration Study of Reactive Distillation Column for Ethanol Synthesis
Ethanol is largely used as a solvent in the synthesis of varnishes and perfumes. It is also used as a preservative for biological products, fuel, and gasoline additives. Anethanol-water mixture, normally obtained by fractional distillation</span...
متن کاملSynthesis and characterization of supramolecule self-assembly polyamidoamine (PAMAM) G1-G1 NH2, CO2H end group Megamer
Supramolecule self assembly polyamidoamine (PAMAM) dendrimer refers to the chemical systems made up of a discrete number of assembled molecular subunits or components. These strategies involve the covalent assembly of hierarchical components reactive monomers, branch cells or dendrons around atomic or molecular cores according to divergent/convergent dendritic branching principles, systematic f...
متن کاملA New Procedure for Reactive Power Market Clearing Considering Distributed Energy Resources
Traditionally, conventional generation unit was used to provide ancillary services e.g. reactive power support, and spinning reserve. Nonetheless, with the emergence of highly penetrated distributed energy resources (DERs) systems and considering how beneficial they can be; it appears reasonable to use them as reactive power providers. Therefore, this paper introduces a new procedure for DERs t...
متن کاملInvestigation on Mechanism of Cordierite Formation from Nano Silica-Magnesium chloride-Reactive Alumina
Cordierite ceramics are used as refractory materials and kiln furnaces tools due to their very low coefficient of thermal expansion, high corrosion resistance and excellent thermal shock resistance. The aim of the present work was to synthesis of cordierite with raw materials including nano silica, magnesium chloride and reactive alumina. The synthesis procedure is done at solid state. Mechanis...
متن کاملSeveral Strategies of Reactive System Program Synthesis
Reactive systems, such as operating systems or elevator control systems, are systems that ideally never terminate and are intended to maintain some interaction with their environment. Temporal logic is one of the methods for formal specification descriptions of reactive systems. By describing the formal specifications of reactive systems we can check the consistency of the specifications and wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016